An Alloy Specification Based Automated Test Data Generation Technique
نویسندگان
چکیده
منابع مشابه
An Adequacy Based Test Data Generation Technique Using Genetic Algorithms
As the complexity of software is increasing, generating an effective test data has become a necessity. This necessity has increased the demand for techniques that can generate test data effectively. This paper proposes a test data generation technique based on adequacy based testing criteria. Adequacy based testing criteria uses the concept of mutation analysis to check the adequacy of test dat...
متن کاملAutomated Software Test Data Generation
Abstracr-Test data generation in program testing is the process of identifying a set of test data which satisfies given testing criterion. Most of the existing test data generators 161, [It], [lo], [16], [30] use symbolic evaluation to derive test data. However, in practical programs this technique frequently requires complex algebraic manipulations, especially in the presence of arrays. In thi...
متن کاملContributions to Program - and Specification - based Test Data Generation
Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. In short, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing an approximation of the branch predicates...
متن کاملComparison of Search based Techniques for Automated Test Data Generation
One of the essential parts of the software development process is software testing as it ensures the delivery of a good quality and reliable software. Various techniques and algorithms have been developed to carry out the testing process. This paper deals with utility of the nature based algorithms namely Genetic Algorithm, Ant Colony Optimization algorithm and Artificial Bee Colony algorithm i...
متن کاملSpecification - Based Test Case Generation Using Dependency
Testing represents a crucial phase in the development of a software system, often requiring considerable effort and resources. Our purpose is to offer a novel approach for generating test cases, based on requirements specification. We make use of scenarios used in the requirements specification phase, taking into consideration the various relationships that can exist between scenarios.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2007
ISSN: 1598-2866
DOI: 10.3745/kipstd.2007.14-d.2.191